package kodkod.analysis.ordering;

public class DefaultOrdering extends AbstractOrdering {
	public DefaultOrdering() {
		super();
		this.randomization = false;
		this.restarts = true;
		this.softOrder = false;
		this.margin = 1;
	}
	
	public String toString() {
//		StringBuilder builder = new StringBuilder();
//		builder.append("DEFAULT");
//		if (randomization) {
//			builder.append(" +RANDOM");
//		}
//		if (restarts) {
//			builder.append(" +RESTARTS");
//		}
		return "DEFAULT";
	}
}
